A Petri-Net Based Hierarchical Structure for Dynamic Scheduler of an FMS: Rescheduling and Deadlock Avoidance
نویسندگان
چکیده
Flexible manufacturing sys tems ( F M S s ) have received considerable at tent ion and evolve to be one of the fastest growing industrial field in the last decade. In these sys tems , m u c h higher e f i c i e n c y of manufacturing can be achieved (owning to their intr insic f lexibility) provided a good scheduling policy i s adopted. In this paper, w e propose a dynamic scheduler wi th a hierarchical structure t o cope with the unavoidable disturbing events in such dynamic sys tems like a n F M S . In particular, we based o n our earlier work [6] handle the rescheduling problem as we as the deadlock avoidance problem. T h e mer i t of this work i s i t s completeness in considering all possible components in a n F M S, including A G V transportat ion sys tem.
منابع مشابه
Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
Deadlocks constitute an important issue to he addressed in the design and operation of flexible manufacturing systems (FMS’s). In this paper, we show that prevention and avoidance of FMS deadlocks can he implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri net-based on...
متن کاملDeadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models
Deadlocks constitute an important issue to he addressed in the design and operation of flexible manufacturing systems (FMS’s). In this paper, we show that prevention and avoidance of FMS deadlocks can he implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri net-based on...
متن کاملModeling Multi-Agent Systems with Hierarchical Colored Petri Nets
A new approach to model multi-agent systems with hierarchical colored Petri nets is introduced. Every agent has its colored Petri net system, when agents are composed into a MAS, we get hierarchical colored Petri net system of the multi-agent system, properties of the hierarchical colored Petri net system, such as reachability, deadlock detection and avoidance, fairness can be used to analyze d...
متن کاملA PETRI-NET-BASED COLLISION AND DEADLOCK AVOIDANCE SCHEME FOR FMS - Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Sympos
Automated manufacturing systems, including Flexible Manufacturing Systems (FMS’s), belong to the class of discrete event dynamic systems. In such a system, potentially conflicting events may occur due to concurrency. The problem of collision and deadlock avoidance can be investigated using Petri nets which are powerful techniques suitable for modeling concurrent processes. A Petri net based app...
متن کاملElementary Siphons of Petri Nets and Deadlock Control in FMS
For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are...
متن کامل